void print(const char *);
